-
1 Dyck language
Большой англо-русский и русско-английский словарь > Dyck language
-
2 Dyck language
Вычислительная техника: язык Дика, язык Дика (понятие теории формальных языков) -
3 Dyck language
English-Russian dictionary of computer science and programming > Dyck language
См. также в других словарях:
Фонология — Лингвистика … Википедия
АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ — понятие, обозначающее многообразные концепции, школы и течения западной философии XX в., сложившиеся в рамках того, что можно назвать аналитическим стилем в философии. Этот стиль утвердился в Великобритании, США, Канаде, Австралии, получил… … Современная западная философия. Энциклопедический словарь
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
СЕМАНТИКА — раздел семиотики и логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Семантическая проблематика обсуждалась еще в античности, однако только на рубеже 19 20 вв. в трудах Ч. Пирса, Ф. де Соссюра, Ч.… … Философская энциклопедия
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
Автоматов теория — часть теоретической кибернетики (См. Кибернетика), объектом исследования которой являются различные преобразователи дискретной информации; возникла в начале 50 х гг. 20 в. в связи с требованиями практики проектирования вычислительных… … Большая советская энциклопедия
КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… … Философская энциклопедия
МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… … Философская энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… … Философская энциклопедия
Хомский, Ноам — В Википедии есть статьи о других людях с такой фамилией, см. Хомский. Ноам Хомский Noam Chomsky … Википедия